French translation for "axiomatic semantics"
|
- sémantique axiomatique
- Example Sentences:
| 1. | If the formal specification is in an axiomatic semantics, the preconditions and postconditions of the specification may become assertions in the executable code.
De plus, une telle spécification peut faire l'objet d'une traduction automatique vers le langage cible ; si la spécification formelle est dotée d'une sémantique axiomatique, les préconditions et postconditions de la spécification peuvent devenir des assertions dans le code exécutable. |
- Similar Words：
- "axioma ethica odini" French translation, "axiomatic" French translation, "axiomatic (book)" French translation, "axiomatic design" French translation, "axiomatic quantum field theory" French translation, "axiomatic system" French translation, "axiomatical" French translation, "axiomatically" French translation, "axiomatization" French translation
|
|
|
